алгебры логики

См. также в других словарях:

• АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

• АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч …   Математическая энциклопедия

• алгебра логики —         АЛГЕБРА ЛОГИКИ исторически первая форма математической (символической) логики, сложившаяся к последней трети 19 в. К ее созданию привела аналогия между решением алгебраических уравнений и выводом следствий из посылок, а также то, что… …   Энциклопедия эпистемологии и философии науки

• Кафедра математической логики и высшей алгебры (Нижегородский государственный университет) — Эта статья предлагается к удалению. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/30 октября 2012. Пока процесс обсужден …   Википедия

• Кафедра математической логики и высшей алгебры — Нижегородский государственный университет им Н. И. Лобачевского Факультет вычислительной математики и кибернетики Заведующий кафедрой Шевченко, Валерий Николаевич …   Википедия

• Сибирская школа алгебры и логики — Сибирская школа алгебры и логики  научная школа под руководством академика РАН Ю. Л. Ершова, формирование которой начиналось с работ научного руководителя Ю. Л. Ершова, академика АН СССР А. И. Мальцева. Участниками научной… …   Википедия

• НЕАССОЦИАТИВНЫЕ КОЛЬЦА И АЛГЕБРЫ — множества с доумя бинарными операциями + и ., удовлетворяющими всем аксиомам ассоциативных колец и алгебр, кроме, быть может, аксиомы ассоциативности умножения. Первые примеры неассоциативных колец (Н. к.) и неассоциативных алгебр (Н. а.), не… …   Математическая энциклопедия

• НЕКЛАССИЧЕСКИЕ ЛОГИКИ —     НЕКЛАССИЧЕСКИЕ ЛОГИКИ широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний и логики предикатов.     Предпосылки для неклассической логики были высказаны… …   Философская энциклопедия

• Научные организации в области логики — Научные организации в области логики  это философские и математические научные организации, область исследований которых относится к логике Содержание 1 Организация логики в России …   Википедия

• Алгебра логики —         раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… …   Большая советская энциклопедия

• Сибирская школа Алгебры и Логики — научная школа под руководством академика РАН Ю.Л. Ершова, формирование которой начиналось с работ научного руководителя Ю.Л. Ершова, академика АН СССР А.И. Мальцева. Участниками научной школы (помимо самого Ю.Л. Ершова) являются чл. корр. РАН В.Д …   Википедия